determining whether a transformation is onto